Palo Alto - PDFSEARCH.IO - Document Search Engine

Palo Alto
Results: 2705

#	Item
11	Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 21:01:09 Abstract algebra Algebra Mathematics Category theory Functors Morphism Category Sheaf Limit Pushout Cone Diagram
12	Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:51:33 Category theory Abstract algebra Algebra Mathematics Morphism Category Group action Natural transformation Limit Subcategory Functor Universal property
13	Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:40:20 Computing Software engineering Formal methods Refinement Specification language Specification Exception handling Programming language Software design Domain-specific language
14	Dtre\|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Mathematics Logic Type theory Model theory Hierarchy Interpretation Axiom Sheaf Theory Implementation of mathematics in set theory ZermeloFraenkel set theory
15	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:46:20 Computing Computer architecture Concurrent computing Formal methods Theoretical computer science Cache coherency Instruction set architectures Concurrency TLA+ Model checking Cache coherence Specification language
16	A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Mathematical logic Logic Mathematics Predicate logic Formal methods Semantics Edsger W. Dijkstra Predicate transformer semantics First-order logic FO Quantifier Equality
17	Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:25:03 Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Logic in computer science Constraint programming Boolean satisfiability problem Electronic design automation DPLL algorithm Conjunctive normal form Boolean
18	The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou HP Laboratories Palo Alto HPLNovember 20th , 2003* superoptimization, Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:41:20 Computer programming Theoretical computer science Software engineering Logic in computer science Computational complexity theory Boolean algebra NP-complete problems Formal methods Boolean satisfiability problem Conditional Reduction Algorithm
19	Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 19:40:49 Scheduling Operations research Business Economy Production planning Combinatorial optimization Planning Mathematics Schedule Branch and bound Mathematical optimization Linear programming
20	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Logic Type theory Theoretical computer science Logic in computer science Automated theorem proving Reasoning Program analysis Natural deduction Logical framework Resolution First-order logic